let function1 (a: int) : int = a + 1